//NoAbstractFeatures

elevadorSPL : Movimentacao [seguranca] Painel [Musica] numeroElevadores :: _elevadorSPL ;

Movimentacao : Velocidade controleElevadores :: _Movimentacao ;

Velocidade : Baixa
	| Media
	| Alta ;

controleElevadores : Dependente
	| Independente ;

seguranca : [VerificarPesoMaximo] senhaPorAndar* :: _seguranca ;

senhaPorAndar : liberarApartamento
	| liberarPainel ;

liberarPainel : painelSenha ;

Painel : painelInterno painelExterno :: _Painel ;

painelInterno : [mostrarTemperatura] BotoesAndares [mostarHorario] [visorInterno] :: _painelInterno ;

BotoesAndares : [BotaoColoridoAoclique] [ControleMaximoBotoesSelecionados] Acessiblidade :: _BotoesAndares ;

Acessiblidade : BotoesBraile [MensagemVozAndarAtual] :: _Acessiblidade ;

painelExterno : [visorExterno] botoes :: _painelExterno ;

botoes : unico
	| subirDescer ;

Musica : Radio
	| listaMusicas ;

numeroElevadores : Um
	| Dois
	| Tres ;

